Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
541	A Conceptual Framework for Human Decision Making within Agent Based Models D.J. Miron CSIRO Livestock Industries, Australia Add to Reading List Source URL: necsi.edu Language: English - Date: 2007-09-27 23:51:16 Logic Philosophy Fuzzy logic Artificial intelligence Mathematical logic Logic in computer science Knowledge representation Fuzzy set Concept Bernard Lonergan Framing Fuzzy concept
542	PUBLICATIONS I. Refereed journal papers: 1. Adel Bouhoula, Emmanuel Kounalis, and Michaël Rusinowitch. Automated Mathematical Induction. Journal of Logic and Computation, 5(5):, Adel Bouhoula and Michae Add to Reading List Source URL: www.supcom.mincom.tn Language: English - Date: 2013-09-16 09:16:40 Genealogy Adel
543	M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS, VOL . 4, N O. 1, M ARCH 2005, 3:24 M IZAR: the first 30 years Roman Matuszewski1 and Piotr Rudnicki2? 1 University of Białystok, Białystok, Poland, Add to Reading List Source URL: www.mizar.org Language: English - Date: 2005-07-20 17:21:01 Logic Abstraction Mathematical logic Quantification Propositional calculus Predicate logic Semantics Quantifier Universal quantification Proposition FO Model theory
544	PDF Document Add to Reading List Source URL: social.cs.uiuc.edu Language: English - Date: 2015-03-14 02:30:03 Theoretical computer science Learning Algorithm Mathematical logic Academia Cognitive science Machine learning Cognition Algorithm characterizations Algorithm Selection
545	Reverse Mathematics and a Weak Ramsey-Type K¨onig’s Lemma Ludovic Patey Laurent Bienvenu Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:23 Mathematics Logic Mathematical logic Proof theory Abstraction Computability theory Reverse mathematics Second-order arithmetic Theorem Lemma
546	Epistemology Mathematicized “On [the] traditional view of the subject, the phrase ‘formal logic’ is pleonasm and ‘informal logic’ oxymoron.” John Burgess Add to Reading List Source URL: www.johnwoods.ca Language: English Philosophy Academia Epistemology Philosophy of science Critical thinking Statistical inference Logic Theory Philosophy of mathematics Formal epistemology Bayesian probability Mathematical proof
547	Microsoft PowerPoint - DFNN by M J Er 29 May 2016.pptx Add to Reading List Source URL: www.wcci2016.org Language: English - Date: 2016-05-30 04:44:22 Fuzzy logic Artificial intelligence Logic Applied mathematics Neuro-fuzzy Mathematical logic Fuzzy control system Artificial neural network Fuzzy set Type-2 fuzzy sets and systems
548	GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2014-08-18 18:05:40 Software engineering Mathematical logic Computing Concurrency Logic in computer science Computer memory First-order logic Predicate logic Memory model Hoare logic Lock FO
549	Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:33:41 Mathematical analysis Mathematics Operator theory Computability theory Approximation theory Fourier analysis Modulus of continuity Primitive recursive function Linear temporal logic Differential forms on a Riemann surface
550	Stating the Obvious: Extracting Visual Common Sense Knowledge Mark Yatskar1 , Vicente Ordonez2 , Ali Farhadi1,2 Computer Science & Engineering, University of Washington, Seattle, WA 2 Allen Institute for Artificial Intel Add to Reading List Source URL: ai2-website.s3.amazonaws.com Language: English - Date: 2016-05-10 13:04:50 Philosophy Ontology Metaphysics Charles Sanders Peirce Semiotics Mathematical logic Knowledge representation Is-a Relation Spatial relation Category of being Representation

UPDATE